tractable symmetry breaking using restricted search trees published presentations and documents on DocSlides.